﻿using System;
using System.Collections.Generic;
using System.Text;

namespace MethodReturnValueContracts
{
    static class UniversalQuantification
    {
        [Arcana.Contract.Method.Returns.All.Are.LowerEqual.Than(6.6)]
        public static IEnumerable<double> SimpleCondition(IEnumerable<double> retValue)
        {
            return retValue;
        }

        [Arcana.Contract.Method.Returns.All.Are.Equal.To("#")]
        public static IEnumerable<string> EqualityCheck(IEnumerable<string> retValue)
        {
            return retValue;
        }
    }
}
